Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
181	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-11-15 17:01:40 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematical logic
182	Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-03-11 15:10:19 Curry–Howard correspondence Binomial series Logic in computer science Constructible universe Separation logic
183	State of Tennessee Department of State Add to Reading List Source URL: www.tennessee.gov Language: English - Date: 2014-01-07 10:17:28 James B. Frazier John I. Cox Tennessee Correspondence Curry–Howard correspondence Southern United States Confederate States of America Mathematics
184	A Relationally Parametric Model of the Calculus of Constructions Neelakantan R. Krishnaswami Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-07-11 10:20:59 Logic in computer science Nonassociative algebra Entailment Logical consequence Metalogic Constructible universe Quasigroup Combinatory logic Curry–Howard correspondence Logic Mathematics Deduction
185	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-10 08:03:39 Mathematics Deduction Natural deduction Normalisation by evaluation Curry–Howard correspondence Model theory Lambda calculus Orbifold Holomorphic functional calculus Theoretical computer science Mathematical logic Proof theory
186	´ ´ ∗ MEMOIRE Add to Reading List Source URL: cerebro.xu.edu Language: English - Date: 2011-08-21 08:56:11 Ordinal number Forcing Diophantine approximation Rényi entropy Curry–Howard correspondence Mathematical logic Mathematics Constructible universe
187	Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Logic in computer science Type theory Entailment Metalogic Valuation Intuitionistic type theory Curry–Howard correspondence Logic Deduction Dependently typed programming
188	PROOFS AND TYPES JEAN-YVES GIRARD Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:08:23 Proof theory Denotational semantics Natural deduction Linear logic Cut-elimination theorem Curry–Howard correspondence Lambda calculus Type theory Semantics Logic Mathematical logic Mathematics
189	Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types∗† Marcelo Fiore‡ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-10-05 14:17:27 Lambda calculus Programming language theory Proof theory Curry–Howard correspondence Philosophy of computer science Type theory Combinatory logic Natural deduction Normalisation by evaluation Logic in computer science Theoretical computer science Mathematical logic
190	The Logical Basis of Evaluation Order and Pattern-Matching Noam Zeilberger Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2009-10-21 18:53:38 Theoretical computer science Logic in computer science Proof theory Data types Dependently typed programming Natural deduction Curry–Howard correspondence Linear logic Subtype polymorphism Logic Mathematics Type theory

UPDATE